Fastest way to swap characters in a string (Python)